export const setDocTitle = function(title) {
    document.title = title
}